Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
نویسندگان
چکیده
The notion of Lyapunov function plays a key role in design and verification of dynamical systems, as well as hybrid and cyber-physical systems. In this paper, to analyze the asymptotic stability of a dynamical system, we generalize standard Lyapunov functions to relaxed Lyapunov functions (RLFs), by considering higher order Lie derivatives of certain functions along the system’s vector field. Furthermore, we present a complete method to automatically discovering polynomial RLFs for polynomial dynamical systems (PDSs). Our method is complete in the sense that it is able to discover all polynomial RLFs by enumerating all polynomial templates for any PDS.
منابع مشابه
An Algorithm for Detecting Hopf-birfucation Varieties of Nonlinear Polynomial Systems
Abstract: An algorithm is presented here, for discovering Hopf-Bifurcation varieties of polynomial dynamical systems. It is based on the expression of specific polynomials, as sums of products of first degree polynomials, with parametrical coefficients. By giving to these parameters certain values, we ensure the positiveness of some quantities, constructing thereby proper Lyapunov functions, wh...
متن کاملDetermination of Stability Domains for Nonlinear Dynamical Systems Using the Weighted Residuals Method
Finding a suitable estimation of stability domain around stable equilibrium points is an important issue in the study of nonlinear dynamical systems. This paper intends to apply a set of analytical-numerical methods to estimate the region of attraction for autonomous nonlinear systems. In mechanical and structural engineering, autonomous systems could be found in large deformation problems or c...
متن کاملStability Region Analysis using composite Lyapunov functions and Sum of Squares Programming
We propose using (bilinear) sum-of-squares programming for obtaining inner bounds of regionsof-attraction and outer bounds of attractive invariant sets for dynamical systems with polynomial vector fields. We search for composite Lyapunov functions, comprised of pointwise maximums and pointwise minimums of polynomial functions. Excellent results for some examples are obtained using the proposed ...
متن کاملPolynomial Lyapunov Functions for Exponential Stability of Nonlinear Systems on Bounded Regions
This paper presents a proof that the use of polynomial Lyapunov functions is not conservative for studying exponential stability properties of nonlinear ordinary differential equations on bounded regions. The main result implies that if there exists an n-times continuously differentiable Lyapunov function which proves exponential decay on a bounded subset of R, then there exists a polynomial Ly...
متن کاملOn optimal quadratic Lyapunov functions for polynomial systems
Abstract The problem of estimating the Domain of Attraction (DA) of equilibria of polynomial systems is considered. Specifically, the computation of the quadratic Lyapunov function which maximizes the volume of the estimate is addressed. In order to solve this double non-convex optimization problem, a semi-convex approach based on Linear Matrix Inequalities (LMIs) is proposed. Moreover, for the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Mathematics in Computer Science
دوره 6 شماره
صفحات -
تاریخ انتشار 2012